Reiter, Raymond D: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

GOLOG: A logic programming language for dynamic domains

Hector J. Levesque, Raymond Reiter, Yves Lespérance, Fangzhen Lin, Richard B. Scherl

Journal:

The Journal of Logic Programming

Year:

1997

Language:

english

File:

PDF, 1.85 MB

english, 1997

2

A note on linear resolution strategies in consequence-finding

Eliana Minicozzi, Raymond Reiter

Journal:

Artificial Intelligence

Year:

1972

Language:

english

File:

PDF, 358 KB

english, 1972

3

On the adequacy of predicate circumscription for closed-world reasoning

David W. Etherington, Robert E. Mercer, Raymond Reiter

Journal:

Computational Intelligence

Year:

1985

Language:

english

File:

PDF, 541 KB

english, 1985

4

Computational semantics: Eugene Charniak and Yorick Wilks, Eds., North-Holland Publishing Company, 1976, xiii+294 pages, Dfl. 55.00.

Journal:

Artificial Intelligence

Year:

1977

Language:

english

File:

PDF, 711 KB

english, 1977

5

Artificial and Mathematical Theory of Computation || The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression

Reiter, Raymond

Year:

1991

Language:

english

File:

PDF, 966 KB

english, 1991

6

Proving properties of states in the situation calculus

Journal:

Artificial Intelligence

Year:

1993

Language:

english

File:

PDF, 653 KB

english, 1993

7

A theory of diagnosis from first principles

Journal:

Artificial Intelligence

Year:

1987

Language:

english

File:

PDF, 1.67 MB

english, 1987

8

Reasoning about time in the situation calculus

Javier Pinto, Raymond Reiter

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

1995

Language:

english

File:

PDF, 933 KB

english, 1995

9

On self-modifying programs

Journal:

Information Sciences

Year:

1974

Language:

english

File:

PDF, 724 KB

english, 1974

10

Two Results on Ordering for Resolution with Merging and Linear Format

Reiter, Raymond

Journal:

Journal of the ACM

Year:

1971

Language:

english

File:

PDF, 736 KB

english, 1971

11

Artificial Intelligence Planning Systems || The Projection Problem in the Situation Calculus: A Soundness and Completeness Result, with an Application to Database Updates

Reiter, Raymond

Year:

1992

Language:

english

File:

PDF, 646 KB

english, 1992

12

An approach to deductive question-answering systems

Reiter, Raymond

Journal:

ACM SIGART Bulletin

Year:

1977

Language:

english

File:

PDF, 259 KB

english, 1977

13

Characterizing diagnoses and systems

Johan de Kleer, Alan K. Mackworth, Raymond Reiter

Journal:

Artificial Intelligence

Year:

1992

Language:

english

File:

PDF, 1.14 MB

english, 1992

14

A logical framework for depiction and image interpretation

Raymond Reiter, Alan K. Mackworth

Journal:

Artificial Intelligence

Year:

1989

Language:

english

File:

PDF, 1.27 MB

english, 1989

15

Scrotal fistula from urethro-vasal reflux in paraplegia

Jung H. Ahn, Raymond Reiter, Eduardo Farcon, Pablo Morales

Journal:

Year:

1989

Language:

english

File:

PDF, 393 KB

english, 1989

16

Readings in Artificial Intelligence and Databases || Towards a Logical Reconstruction of Relational Database Theory

Reiter, Raymond

Year:

1989

Language:

english

File:

PDF, 2.36 MB

english, 1989

17

[ACM Press the second annual ACM symposium - Northampton, Massachusetts, United States (1970.05.04-1970.05.06)] Proceedings of the second annual ACM symposium on Theory of computing - STOC '70 - The predicate elimination strategy in theorem proving

Reiter, Raymond

Year:

1970

Language:

english

File:

PDF, 296 KB

english, 1970

18

Update on tizanidine for muscle spasticity and emerging indications

Malanga, Gerard, Reiter, Raymond D, Garay, Edward

Journal:

Expert Opinion on Pharmacotherapy

Year:

2008

Language:

english

File:

PDF, 244 KB

english, 2008

19

Hyperbaric oxygen protection against carbon tetrachloride hepatotoxicity in the rat

Burk, Raymond F., Reiter, Rudolf, Lane, James M.

Journal:

Gastroenterology

Year:

1986

Language:

english

File:

PDF, 861 KB

english, 1986

20

Readings in Artificial Intelligence || ON CLOSED WORLD DATA BASES

Reiter, Raymond

Year:

1981

Language:

english

File:

PDF, 1.03 MB

english, 1981

21

Homeostatic control of thyroxin concentration expressed by a set of linear differential equations

Kenneth H. Norwich, Raymond Reiter

Journal:

Bulletin of Mathematical Biology

Year:

1965

Language:

english

File:

PDF, 402 KB

english, 1965

22

Data bases

Reiter, Raymond

Journal:

ACM SIGART Bulletin

Year:

1981

Language:

english

File:

PDF, 208 KB

english, 1981

23

Effect of oxygen tension on the generation of alkanes and malondialdehyde by peroxidizing rat liver microsomes

Rudolf Reiter, Raymond F. Burk

Journal:

Biochemical Pharmacology

Year:

1987

Language:

english

File:

PDF, 584 KB

english, 1987

24

AIP Conference Proceedings [AIP ADVANCES IN CRYOGENIC ENGINEERING: Transactions of the Cryogenic Engineering Conference - CEC, Volume 57 - Spokane, Washington, USA (13–17 June 2011)] - Modeling and testing of cryo-adsorbent hydrogen storage tanks with improved thermal isolation

Raymond, Alexander William, Reiter, Joseph

Year:

2012

Language:

english

File:

PDF, 787 KB

english, 2012

25

[ACM Press the seventh ACM SIGACT-SIGMOD-SIGART symposium - Austin, Texas, United States (1988..-..)] Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems - PODS '88 - What should a database know?

Reiter, Raymond

Year:

1988

Language:

english

File:

PDF, 203 KB

english, 1988

26

Exploring Artificial Intelligence || Nonmonotonic Reasoning

Reiter, Raymond

Year:

1988

Language:

english

File:

PDF, 2.55 MB

english, 1988

27

CIRCUMSCRIPTION AND GENERIC MATHEMATICAL OBJECTS

Bertossi, Leopoldo E., Reiter, Raymond

Journal:

Fundamenta Informaticae

Year:

1994

File:

PDF, 648 KB

1994

28

Formation of glutathione adducts of carbon tetrachloride metabolites in a rat liver microsomal incubation system

Rudolf Reiter, Raymond F. Burk

Journal:

Biochemical Pharmacology

Year:

1988

Language:

english

File:

PDF, 545 KB

english, 1988

29

Data bases

Reiter, Raymond

Journal:

ACM SIGPLAN Notices

Year:

1981

Language:

english

File:

PDF, 208 KB

english, 1981

30

The pseudophosphatase STYX targets the F‐box of FBXW7 and inhibits SCF FBXW7 function

Reiterer, Veronika, Figueras‐Puig, Cristina, Le Guerroue, Francois, Confalonieri, Stefano, Vecchi, Manuela, Jalapothu, Dasaradha, Kanse, Sandip M, Deshaies, Raymond J, Di Fiore, Pier Paolo, Behrends,

Journal:

The EMBO Journal

Year:

2017

Language:

english

File:

PDF, 2.45 MB

english, 2017

31

Scheduling Parallel Computations

Reiter, Raymond

Journal:

Journal of the ACM

Year:

1968

Language:

english

File:

PDF, 544 KB

english, 1968

32

Data bases

Reiter, Raymond

Journal:

ACM SIGMOD Record

Year:

1981

Language:

english

File:

PDF, 208 KB

english, 1981

33

Some representational issues in default reasoning

Raymond Reiter, Giovanni Criscuolo

Journal:

Computers & Mathematics with Applications

Year:

1983

Language:

english

File:

PDF, 1.03 MB

english, 1983

34

The pseudophosphatase STYX targets the F‐box of FBXW7 and inhibits SCF FBXW7 function

Reiterer, Veronika, Figueras‐Puig, Cristina, Le Guerroue, Francois, Confalonieri, Stefano, Vecchi, Manuela, Jalapothu, Dasaradha, Kanse, Sandip M, Deshaies, Raymond J, Di Fiore, Pier Paolo, Behrends,

Journal:

The EMBO Journal

Year:

2018

File:

PDF, 99 KB

2018

35

What should a database know?

Journal:

The Journal of Logic Programming

Year:

1992

Language:

english

File:

PDF, 1.95 MB

english, 1992

36

Automatic Surgical Mallet in Removal of Teeth / Bilateral Supernumerary Teeth in the Third Molar Area: Report of a Case / Premature Loss of First Deciduous Molar: Report of a Case / Nodular Calcification in an Eleven Year Old Boy: A Case Report

Reiter, David, Blum, Bertram, Kelsten, Louis B., Gibbons, Raymond M., Gibbons, Raymond M.

Journal:

Journal of the American Dental Association

Year:

1952

Language:

english

File:

PDF, 197 KB

english, 1952

37

Exploring Artificial Intelligence || Nonmonotonic Reasoning

Reiter, Raymond

Year:

1988

File:

PDF, 2.55 MB

1988

38

SPIE Proceedings [SPIE SPIE's 1995 Symposium on OE/Aerospace Sensing and Dual Use Photonics - Orlando, FL (Monday 17 April 1995)] Public Safety/Law Enforcement Technology - Results of three-month intensive cargo inspection test at ARPA's nonintrusive inspection technology testbed

Reiter, Robert F., Volberding, Roy W., Mataloni, Sr., Raymond J., Mintz, Raymond D.

Year:

1995

Language:

english

File:

PDF, 1.25 MB

english, 1995

39

[Association for Computational Linguistics the 1975 workshop - Cambridge, Massachusetts (1975.06.10-1975.06.13)] Proceedings of the 1975 workshop on Theoretical issues in natural language processing - TINLAP '75 - Formal reasoning and language understanding systems

Reiter, Raymond

Year:

1975

Language:

english

File:

PDF, 541 KB

english, 1975

40

SPIE Proceedings [SPIE SPIE's 1995 Symposium on OE/Aerospace Sensing and Dual Use Photonics - Orlando, FL (Monday 17 April 1995)] Public Safety/Law Enforcement Technology - Design and implementation of three-month intensive cargo inspection test at ARPA's nonintrusive inspection technology testbed

Volberding, Roy W., Reiter, Robert F., Khan, Siraj M., Mataloni, Sr., Raymond J., Mintz, Raymond D.

Year:

1995

Language:

english

File:

PDF, 994 KB

english, 1995

41

On Assembly-Line Balancing Problems

Journal:

Operations Research

Year:

1969

Language:

english

File:

PDF, 502 KB

english, 1969

42

Must logicists become programmers?

Journal:

Computational Intelligence

Year:

1987

Language:

english

File:

PDF, 243 KB

english, 1987

43

A sound and sometimes complete query evaluation algorithm for relational databases with null values

Reiter, Raymond

Journal:

Journal of the ACM

Year:

1986

Language:

english

File:

PDF, 1.53 MB

english, 1986

44

Evaluation of calciotropic hormones in cats with odontoclastic resorptive lesions

Reiter, Alexander M., Lyon, Kenneth F, Nachreiner, Raymond F., Shofer, Frances S.

Journal:

American Journal of Veterinary Research

Year:

2005

Language:

english

File:

PDF, 262 KB

english, 2005

45

On specifying database updates

Journal:

The Journal of Logic Programming

Year:

1995

Language:

english

File:

PDF, 2.18 MB

english, 1995

46

Equality and Domain Closure in First-Order Databases

Reiter, Raymond

Journal:

Journal of the ACM

Year:

1980

Language:

english

File:

PDF, 980 KB

english, 1980

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски